2

A survey of solvent selection guides

Year:
2014
Language:
english
File:
PDF, 3.66 MB
english, 2014
5

Focus Section Editorial

Year:
2010
Language:
english
File:
PDF, 31 KB
english, 2010
6

Combining static worst-case timing analysis and program proof

Year:
1996
Language:
english
File:
PDF, 1.44 MB
english, 1996
8

Replication Management in Reliable Real-Time Systems

Year:
2004
Language:
english
File:
PDF, 859 KB
english, 2004
10

The Safety-Critical Java memory model formalised

Year:
2013
Language:
english
File:
PDF, 1.22 MB
english, 2013
24

Requirements for a COTS software component: A case study

Year:
1998
Language:
english
File:
PDF, 661 KB
english, 1998
26

Cost enforcement in the real-time specification for Java

Year:
2007
Language:
english
File:
PDF, 1.30 MB
english, 2007
27

An EM algorithm for shape classification based on level sets

Year:
2005
Language:
english
File:
PDF, 509 KB
english, 2005
29

Asynchronous event handling and Safety Critical Java

Year:
2012
Language:
english
File:
PDF, 1.35 MB
english, 2012
37

Garbage Collection for Flexible Hard Real-Time Systems

Year:
2010
Language:
english
File:
PDF, 2.54 MB
english, 2010
42

Safety-critical Java programs fromCircusmodels

Year:
2013
Language:
english
File:
PDF, 3.70 MB
english, 2013
43

Distributed, Embedded and Real-time Java Systems ||

Year:
2012
Language:
english
File:
PDF, 7.53 MB
english, 2012